Monday, January 30
Introduction to Computability
Notes on Mathematical Induction and Structural Induction
Language Definitions and Notation